relational synthesis

关连式合成